First‐Order Languages Expressing Constructible Spatial Database Queries
نویسندگان
چکیده
منابع مشابه
First-Order Languages Expressing Constructible Spatial Database Queries
The research presented in this paper is situated in the framework of constraint databases that was introduced by Kanellakis, Kuper, and Revesz in their seminal paper of 1990. Constraint databases and query languages are defined using real polynomial constraints. As a consequence of a classical result by Tarski, first-order queries in the constraint database model are effectively computable, and...
متن کاملJReq: Database Queries in Imperative Languages
Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatically rewritten to use database queries. Traditional tools such as object-relational mapping tools are able to automatically translate simple navigational queries written in object-oriented code to SQL. More recently, t...
متن کاملSpatial Database Modeling Pictogrammic Languages
DEFINITION “Spatial databases” consist of large groups of data structured in a way to represent the geographic features of interest to the users of a system. Spatial database models are schematic representations of these data. Database models are created to design and document the system, to facilitate communication and to support programming. They are created using CASE tools (computer-assiste...
متن کاملSpatial Database Querying with Logic Languages
Several d&rent data structures, generally grouped in Raster and Vectors representation models, are used to store images and all hinds of spatial data. One solution, for a spatial data manipulation language to be independent of the storage model, is to base the language on the spatial relations of objects (i.e. the positions of objects relative to each other). This paper proposes a logic interme...
متن کاملSpatial Database Modeling with Pictogrammic Languages
DEFINITION “Spatial databases” consist of large groups of data structured in a way to represent the geographic features of interest to the users of a system. Spatial database models are schematic representations of these data. Database models are created to design and document the system, to facilitate communication and to support programming. They are created using CASE tools (computer-assiste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2007
ISSN: 0097-5397,1095-7111
DOI: 10.1137/s0097539702407199